Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Jean-Pierre Jacquot »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Jean-Pierre Ivaldi < Jean-Pierre Jacquot < Jean-Pierre Jessel  Facettes :

List of bibliographic references indexed by Jean-Pierre Jacquot

Number of relevant bibliographic references: 57.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000111 (2016) Jean-Pierre Jacquot [France]Premières leçons sur la spécification d’un train d’atterrissage en B Événementiel
000658 (2015-01-08) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Observation-Level-Driven Formal Modeling
000B08 (2014-06-11) Jean-Pierre Jacquot [France]Premières leçons sur la spécification d'un train d'atterrissage en B événementiel
000D04 (2014-01-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Proving the Fidelity of Simulations of Event-B Models
000F16 (2013-12-02) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]JeB: Safe Simulation of Event-B Models in JavaScript
001256 (2013-04-03) Faqing Yang [France] ; Jean-Pierre Jacquot [France]JeB : un environnement de simulation en JavaScript pour B événementiel
001821 (2012-12-04) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]The Case for Using Simulation to Validate Event-B Specifications
001C50 (2012-01-11) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Traduction de B événementiel en C pour la validation par la simulation
001F68 (2011-12-06) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Stepwise Validation of Formal Specifications
002011 (2011-11-10) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Guidelines for Formal Domain Modeling in Event-B
002097 (2011-09-26) Faqing Yang [France] ; Jean-Pierre Jacquot [France]An Event-B Plug-in for Creating Deadlock-Freeness Theorems
002408 (2011-03-25) Atif Mashkoor [France] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Validation of Formal Specification: the Case for Animation
002607 (2011) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Utilizing Event-B for domain engineering: a critical analysis
002637 (2011) Faqing Yang [France] ; Jean-Pierre Jacquot [France]Scaling Up with Event-B: A Case Study
002913 (2010-12-07) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Transformational Heuristics for Animation - Towards Stepwise Validation of Specications
002943 (2010-12) Jean-Pierre Jacquot [France] ; Régine Laleau [France] ; Hassan Mountassir [France] ; Vincent Poirriez [France]Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles
002A54 (2010-09-27) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Domain Engineering with Event-B: Some Lessons We Learned
002C50 (2010-06-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France]Prouvé ? Et après ?
002E09 (2010-02-22) Huu Nghia Nguyen [France] ; Jean-Pierre Jacquot [France]A tool for checking CSP||B specifications

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Jean-Pierre Jacquot" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Jean-Pierre Jacquot" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Jean-Pierre Jacquot
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022